End extensions of normal models of open induction.
نویسندگان
چکیده
منابع مشابه
On End-Extensions of Models of ¬exp
Every model of I∆0 is the tally part of a model of the stringlanguage theory Th-FO (a main feature of which consists in having induction on notation restricted to certain AC sets). We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of I∆0 + ¬exp is a prop...
متن کاملextensions, minimality and idempotents of certain semigroup compactifications
در فصل اول مقدمات و پیش نیازهای لازم برای فصل های بعدی فراهم گردیده است . در فصل دوم مساله توسیع مورد توجه قرار گرفته و ابتدا شرایطی که تحت آن از یک فشرده سازی نیم گروهی خاص یک زیرگروه نرمال بسته یک گروه به یک فشرده سازی متناظر با فشرده سازی اولیه برای گروه رسید مورد بررسی قرار گرفته و سپس ارتیاط بین ساختارهای مختلف روی این دو فشرده سازی از جمله ایده آل های مینیمال چپ و راست و... مورد بررسی قرا...
15 صفحه اولextensions of some polynomial inequalities to the polar derivative
توسیع تعدادی از نامساوی های چند جمله ای در مشتق قطبی
15 صفحه اولModels of Expansions of N with No End Extensions
We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of N such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of N such that expanding N by any uncountably many of them suffice. Also we find arithmetically closed A with no ultrafilter ...
متن کاملEnd Extensions of Models of Linearly Bounded Arithmetic
We show that every model of I 0 has an end extension to a model of a theory (extending Buss' S 0 2) where logspace computable function are formalizable. We also show the existence of an isomorphism between models of I 0 and models of linear arithmetic LA (i.e., second-order Presburger arithmetic with nite comprehension for bounded formulas). 0 Introduction. In the last two decades the research ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635838